Continuation-passing style - PDFSEARCH.IO - Document Search Engine

Continuation-passing style
Results: 47

#	Item
41	Flow Graphs for Testing Sequential Erlang Programs Manfred Widera Fachbereich Informatik, FernUniversitt Hagen D[removed]Hagen, Germany [removed] Add to Reading List Source URL: www.erlang.se Language: English - Date: 2004-10-14 07:15:09 Compiler construction Network flow Pattern matching Control flow Static single assignment form Erlang Flow network Data-flow analysis Continuation-passing style Graph theory Software engineering Computing
42	Continuations and Transducer Composition Olin Shivers Matthew Might Georgia Institute of Technology Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Computer programming Models of computation Computability theory Lambda calculus Theoretical computer science Call-with-current-continuation Continuation-passing style Weight Software engineering Continuations Computing
43	Analyzing the Environment Structure of Higher-Order Languages using Frame Strings Matthew Might Georgia Institute of Technology, Atlanta, Georgia, USA Olin Shivers Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Subroutines Continuations Control flow Lambda calculus Continuation-passing style Functional programming Closure Call-with-current-continuation Continuation Software engineering Computer programming Computing
44	Certifying and reasoning on cost annotations of functional programs Roberto M. Amadio1 and Yann R´egis-Gianas1,2 Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2012-05-18 04:03:57 Functional analysis Computability theory Lambda calculus Theoretical computer science Operator Continuation-passing style Combinatory logic Mathematics Software engineering Declarative programming
45	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
46	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-09-04 11:06:26 Subroutines Functional programming Data types Type theory Models of computation Defunctionalization Closure Continuation-passing style Type system Software engineering Computing Computer programming
47	PDF Document Add to Reading List Source URL: users.soe.ucsc.edu Language: English - Date: 2013-07-12 18:01:52 Functional programming Computer programming Computing Software engineering Continuation-passing style Continuations

UPDATE